Tennenbaum and Set Theory

نویسندگان

  • Akihiro Kanamori
  • Robert Solovay
  • Simon Kochen
  • Georg Cantor
چکیده

The work of Stanley Tennenbaum in set theory was centered on the investigation of Suslin’s Hypothesis (SH), to which he made crucial contributions. In 1963 Tennenbaum established the relative consistency of ¬SH, and in 1965, together with Robert Solovay, the relative consistency of SH. In the formative period after Cohen’s 1963 founding of forcing when set theory was transmuting into a modern, sophisticated field of mathematics, this work on SH exhibited the power of forcing for elucidating a classical problem of mathematics and stimulated the development of new methods and areas of investigation. §1 discusses the historical underpinnings of SH. §2 then describes Tennenbaum’s consistency result for ¬SH and related subsequent work. §3 then turns to Tennenbaum’s work with Solovay on SH and the succeeding work on iterated forcing and Martin’s Axiom. To cast an amusing sidelight on the life and the times, I relate the following reminiscence of Gerald Sacks from this period, no doubt apocryphal: Tennenbaum let it be known that he had come into a great deal of money, $30,000,000 it was said, and started to borrow money against it. Gerald convinced himself that Tennenbaum seriously believed this, but nonetheless asked Simon Kochen about it. Kochen replied, “Well, with Stan he might be one per-cent right. But then, that’s still $300,000.”

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Historical Remarks on Suslin’s Problem

The work of Stanley Tennenbaum in set theory was centered on the investigation of Suslin’s Hypothesis (SH), to which he made crucial contributions. In 1963 Tennenbaum established the relative consistency of ¬SH, and in 1965, together with Robert Solovay, the relative consistency of SH. In the formative period after Cohen’s 1963 founding of forcing when set theory was transmuting into a modern, ...

متن کامل

Degrees of Recursively Saturated Models

Using relativizations of results of Goncharov and Peretyat'kin on decidable homogeneous models, we prove that if M is S-saturated for some Scott set S, and F is an enumeration of S, then M has a presentation recursive in F. Applying this result we are able to classify degrees coding (i) the reducts of models of PA to addition or multiplication, (ii) internally finite initial segments and (iii) ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007